“형식 언어”으로 총 2건 검색
용어사전
(1건)
-
- 형식 언어, 形式言語, formal language
- 구조, 범위 등이 명확히 규정되어 있는 언어. 자연 언어의 문법 구조를 수학적 측면에서 형식화한 것으로서 자연 언어보다 훨씬 간단한 구조의 인공 언어로 볼 수 있다. 형식 언어의 이론은 알골 등의 프로그램 작성 언어에서 제반 문제로 응용되고 있다.
TTA표준
(1건)
TTA 정보통신단체표준 내 정의된 용어입니다.
-
- 형식 언어, formal language
- 사용하기에 앞서 이것에 대한 규칙이 명확히 확립된 언어. 술어해석(predicate calculus)과 같은 수학적이거나 논리적인 언어. 예를 들면, Fortran, Ada와 같은 언어가 있다. 인공 언어와 동의어. 자연 언어와 대조.
- 출처 : 단체표준 TTAS.KO-11.0019 소프트웨어 프로세스와 품질 - 용어